近年来，随着半导体技术的发展以及应用多样化的需求，异构多核处理器已被广泛应用于高性能嵌入式系统中。这类系统面临的一个主要挑战就是如何在运行时对系统的可用资源（包括处理核等）进行管理分配从而满足系统及其所运行应用在性能和功耗等方面的需求。然而，虽然目前一些主流的资源管理技术在性能和/或功耗优化等方面取得了良好表现，但却经常对所设计的资源管理部件缺乏严格的可靠性保证，因此提出了一种基于离散控制器合成（DCS）的方法来对异构多核系统的在线资源管理策略进行自动、可靠的设计，即将形式化的、能够自动构造管理控制部件的DCS应用到异构多核系统的在线资源管理部件设计中。该方法通过采用形式化模型来描述异构系统的运行行为（例如如何为应用分配处理核），并将在线资源管理问题转换为一个面向某个系统管理目标（例如最大化应用性能）的DCS问题。在此基础上，通过现有的DCS工具对提出的方法进行了示例演示和验证，并对所使用DCS方法的可扩展性进行了评估。

提出了一种NoC测试端口位置和数量的优化选取的方法，它在系统功耗限制的条件下，确定input/output端口的对数，以所有核测试路径总和最短为目标，优化选取NoC 测试端口的最佳位置。本方案在测试功耗不超过系统允许的最大功耗条件下，最大限度地选取测试端口的对数来进行并行测试，从而能高效地完成对核的测试，同时又能有效地避免因测试带来的器件损坏。实验结果表明这种方法提高了测试效率，降低了NoC的总体测试代价。